#ifndef __STDIO_PUTCHAR_H__
#define __STDIO_PUTCHAR_H__

#include <altair/io/putch.h>

/**
 *  putchar()
 *  vytiskne ASCII znak, pokud je vstup 0x08 (backspace), umaze jeden znak
 */
void putchar(char s) {
  if(s == '\b') {     /* backspace */
    putch('\b');
    putch(' ');
    putch('\b');
  } else {
    putch(s);
  }
}

#endif
